منابع مشابه
Model theory without choice? Categoricity
We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in אα for some (equivalently for every ordinal α > 0). Another central result here is, in this context: the number of models of a countable first order T of cardinality אα is either ≥ |α| for every אα or it has a small upper bound (close to i2). The author would like to ...
متن کاملModel Theory without Choice? Categoricity Sh840
We prove Los conjecture = Morley theorem in ZF, with the same characterization (of first order countable theories categorical in אα for some (equivalently for every ordinal) α > 0. Another central result here is, in this context: the number of models of a countable first order T of cardinality אα is either ≥ |α| for every α or it has a small upper bound (independent of α close to i2). The autho...
متن کاملCategoricity Without Equality
We study categoricity in power for reduced models of first order logic without equality.
متن کاملConstructive algebraic integration theory without choice
We present a constructive algebraic integration theory. The theory is constructive in the sense of Bishop, however we avoid the axiom of countable, or dependent, choice. Thus our results can be interpreted in any topos. Since we avoid impredicative methods the results may also be interpreted in Martin-L type theory or in a predicative topos in the sense of Moerdijk and Palmgren. We outline how ...
متن کاملThe Diversity of Categoricity without Delay
We suggest several new ways to compare fully primitive recursive presentations of a structure. Properties of this kind have never been seen in computable structure theory. We prove that these new definitions are nonequivalent. In this note we give only proof sketches, complete proof will appear in the full version of the paper.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2009
ISSN: 0022-4812,1943-5886
DOI: 10.2178/jsl/1243948319